node inc
  (n: int)
returns
  (r: int);

let
  r = (0 -> ((pre r) + n));
tel.

